Gastgeber*innen während der Förderung
| Prof. Dr. Peter Thiemann | Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg |
|---|
| Prof. Dr. Andreas Podelski | Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg |
|---|
| Beginn der ersten Förderung | 01.07.2009 |
|---|
Projektbeschreibung der*des Nominierenden
| Professor Jones is an internationally leading researcher in computer science specializing in programming languages. His work combines theory and practice in topics such as compiler generation, program analysis, and computational complexity. Professor Jones is known in particular for partial evaluation, which bases a practical compilation technique on a theorem about Gödel's numbering of computable functions from 1943. In Germany, he
intends to investigate the staging of semantic specifications and to further his work on automatic termination and complexity analysis.
|
